A reconstruction of multipreference closure

نویسندگان

چکیده

The paper describes a preferential approach for dealing with exceptions in KLM logics, based on the rational closure. It is well known that closure does not allow an independent handling of inheritance different defeasible properties concepts. In this work, we consider alternative construction, called Multi Preference (MP-closure), which has been first considered reasoning DLs. We reconstruct notion MP-closure propositional case and show it natural (weaker) variant Lehmann's lexicographic closure, appears to be too bold some cases. defines consequence relation that, although weaker than stronger Relevant Closure.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Modal Reconstruction of Rational Closure

This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: t...

متن کامل

HORPO with Computability Closure: A Reconstruction

This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for the computability closure, and bound variables are handled explicitly, making it possible to handle recursors for arbitrary strictly positive inductive types.

متن کامل

Primary Closure of A Sternal Cleft in A Neonate

A three day old neonate was referred to our department with a problem of a sternal cleft. Sternal clefts are often associated with a myriad of other abnormalities ranging from mild to severe. We present our experience with such a problem, and review the current literature concerning it.

متن کامل

Web Application Migration with Closure Reconstruction

Due to its high portability and simplicity, web application (app) based on HTML/JavaScript/CSS has been widely used for various smart-device platforms. To take advantage of its wide platform pool, a new idea called app migration has been proposed for the web platform. Web app migration is a framework to serialize a web app running on a device and restore it in another device to continue its exe...

متن کامل

Tree Reconstruction via a Closure Operation on Partial Splits

A fundamental problem in biological classification is the reconstruction of phylogenetic trees for a set X of species from a collection of either subtrees or qualitative characters. This task is equivalent to tree reconstruction from a set of partial X–splits (bipartitions of subsets of X). In this paper, we define and analyse a “closure” operation for partial X–splits that was informally propo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Artificial Intelligence

سال: 2021

ISSN: ['2633-1403']

DOI: https://doi.org/10.1016/j.artint.2020.103398